perm filename MSXM10.360[360,GF] blob
sn#852094 filedate 1988-01-24 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEd λdb⊂⊃∧4P⊃R@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@ pαβ $P↓β ``↓∩@ hββ$P↓β ``↓∩@ hββ$P↓β@@h↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩@!x↓∩D4P⊃Q(@λ⊃ID"⊂λi"_%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%λi"_%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI ⊂π@A`⊂%Ap⊂πI"_%λhT ↓λdb⊂⊃∧4P⊃R@AXα∩@QHαR@ λ↓E`0λ↓∩@ ⊂↓E 0⊂↓∩@ _↓D`0_↓∩@ ↓D 0 ↓∩@ (↓C`0(↓∩@ 0↓C 00↓∩@ 8↓B`08↓∩@ @↓B 0@↓∩@ H↓A`0H↓∩@ P↓A 0P↓∩@ X↓@`0X↓∩@ `↓@ 0`↓∩@ hαC $P↓β@0p↓∩@ hαC $P↓β0λ↓C$P↓α`0_↓B`$P↓α@0(↓B@$P↓α 08↓B $P↓α0H↓B$P↓↓`0X↓A`$P↓↓@0h↓A@$P↓↓ 0x↓A $P↓↓1λ↓A$P↓`1_↓@`$P↓@1(↓@@$P↓ 18↓@ $PαF TPαε`DP⊃RD4("d20⊃λ@α_%λi ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I ⊂∂@I"_%λhT αλdb⊂⊃∧4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4P⊃RD4("↓!⊂X∧αH%α) H%α) H%α) H%α) H"QaP∞K∧ `↓∃ E(α∃e ↓@%_↓@@5_↓↓%⊂↓A5⊂↓↓@%λ↓A@5↓B5↓α@$x↓B@4x↓β$p↓C4p↓β@$h↓C@4h↓∧$`↓D4X↓D@4X↓¬$P↓E4P↓¬@$P↓E4X↓¬$X↓D@4`↓D4h↓∧$h↓C@4p↓β@$p↓C4x↓β$x↓B@5↓α@%↓B5λ↓A@5⊂↓↓@%⊂↓A5_↓↓%_↓@@5 ↓@% β∃ E(α∃@$("↓c!h⊗λA@⊂*A
P *↓J@0)B
0@)αJ P(C
p(βIq'D a⊂'∧IQ &E A0%F 1@%εI!P%εI1@%F A0&E Q '∧Ia⊂'D q(βJp(C
P)αJ0@)B
@0*↓JP *A
`⊂"Q↓α⊃Hd@↓∀@5_α∃u(∧∀a%λ¬A5α P0α∪`0_αα 4p↓A0X↓S 0 ↓C 4`↓A x↓S 0↓∧$X↓F4X↓ε@$X↓ε@$P↓F@4P↓π$P↓π$P↓π$P↓π$P↓π$P↓π$P↓F@4X↓ε@$X↓ε@$X↓F4`↓ε$`↓E@4h↓E4p↓D@4x↓D5αβEλβ↓@e_π∃A∧("α$α_⊃Hα`⊂/@kP ,Ajp@+BJ⊂_ααj β↓ ⊂ '@a⊂ ↓@i`_¬@`@_&@aP_αi@_π@@P_&B⊂βI0_i0⊂
I0⊂
I _
i ⊂∞I ⊂∞I ⊂∞I ⊂∞I ⊂∞I ⊂∞I _
i0⊂
I0⊂
I0_i@⊂I@_iP_
i`_ ip_λj ε↓
⊂0β↓J0p+αλT ¬
eaPH&P↓Z@6X↓Z`F`α≠ FpαRE4P∃Q`dP∃RE4`αS@Dxα∀Eλ↓T@5⊂↓T`$("αe2p
ε!⊂⊂)j _(@j 'A ` &↓)"X%
hp0%
i"X7↓-P 6↓
0 5@m _5m ⊂"Q↓B_∪λD ⊃RD4P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P⊃RD4P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P↓π`$P⊃RD4("β$α_⊃λ@⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βε ⊂βε ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βI ⊂βHT π
¬2⊂⊃ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓C∧P↓↓@ 0∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$P↓↓@ 0↓∩@ 0↓↓@$("βbqP⊃λ@⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%¬i!8%I ⊂%I ⊂%I ⊂%I ⊂%¬i!8%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"QααX↔∧"Q8↓↓`&λ↓A@6λ↓A@6⊂↓A@6⊂α↓ F_α↓ F α↓ F(αATP∃RE6(αAV α↓ F_α↓ F⊂α↓ F⊂↓A@6λ↓A@6λ↓↓`6λ↓↓`$("∧%2pλE!⊂⊂β@J _βj _βj⊂_βj αA p αA ` αA @(α↓)"X%
i@(α↓)` αA p αA
αA
⊂_βj _βj _β@J0⊂β@HT
eb⊂∞B %⊂↓T@5λ↓TDxα∪@D`αRE4P∃STpα∪`Eα∀ 5⊂↓T@5_↓∀@5⊂↓T 5α∪`Dpα∪TP∃RE4`αS@Dxα∀Eλ↓T@5⊂↓T`$("∧e2p⊃π$⊂5m _5@m0 6↓
P 7↓)"X%
m`(6A
@ 5A
0_5m _5M _5m0_5A
@ 6A
`(%
i"X7↓-P 6↓
0 5@m _5m ⊂"QαB⊂∪K∧ 8↓∧%λ↓∧%αβ@Eαβ@Dxββdp∧αA∧p∧αA∧h¬α↓$Xα@ λαAPλ↓ TPα@@ ⊂α@@P⊂↓@TP↓A ↓@@0 ↓↓5λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧%λ↓∧$("¬$"8⊗λ@p⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λJ⊂⊂λI _α@@_↓`@⊂αi (↓@ (↓↓ ⊂↓↓)@ @@⊂ β↓⊂⊂A PP∧αI`@¬α p0ε↓Ip0ε↓J π↓
π↓
⊂⊂λJ⊂⊂λHT αBR`⊃$P↓∩@4P↓R@DPαR@TPβ∩@ λαR@ _αR@ α∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓⊃(A8¬¬%B⊂I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@@ %@0(%@⊂(%↓I (%↓) %i _%I ⊂"QβPεK∧ @↓∀@%λ↓T 5α∪`TxαS@d`α@ $Pα@`$Pα↓%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@$("ε! h⊗λA⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)J ⊂)I αI (↓@I@(@I`0'A)p((↓
⊂_(@j ⊂)HT
ε1λ
@"_↓∩@2⊂↓R@2⊂↓R`2⊂↓R`Bλα∪Bλα∪ Bλα∪@RαSe4x∃S@RαS Bλα∪Bλα∩`Bλα∩`2⊂↓R@2⊂↓R@"_↓R@"_↓⊃(AX_b⊃(∧@D0⊂)d _)d _(@d _(↓∧⊂ 'A∧⊂ '↓∧⊂ &↓$(%
i"X&↓$('↓∧⊂ 'A∧⊂ (↓∧⊂ (@d _)d _)d0⊂)@D0⊂"QβBX↔λCPH↓∀@5⊂↓T 5α∪`Dpα∪TP∃RE4`αS@Dxα∀Eλ↓T@5⊂↓T`!(↓~@6P↓Z`6Xα≠Fhα≠@TP∃RE6pα[ F`α~`FX↓Z@6P↓Z@$("π%2p⊃π$⊂5m _5@m0 6↓
P 7↓)"X%
m`(6A
@ 5A
0_5m _)@BP⊂)j _(@j 'A ` &↓)"X%
i@('↓ p (↓
⊂_)j _)@HT ∂∧BR8⊃α %⊂↓T@%λ↓T4xα∪@D`αRB$P ∪PH↓∪@@@↓∪`@8↓∀08↓∀ 00↓∀@ 0↓∀@0(↓∀` (↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊗@%P↓⊃(Ax ¬$r⊂β@J⊂_)J _)@j0 *↓
P(%∧I!⊂%A⊂(%A %@p %@p_%@`_%@`⊂%@P_%@P⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q∧αX↔∧"R↓~@6P↓Z`4p↓β@0Pα∪ @`βα D`βα@0λαBDX↓@@0@↓AP8αR@0 ↓A@08λR@ 0↓A0PπT`0⊂↓D`U β∧`E(α∧`E0↓∧`FX↓Z@6P↓Z@$("λ'dλλE!⊂⊂∀J0⊂∀J _∀j⊂_∃j α@AP⊂ε@@P 'AP ¬A↓0 αA ` αAA⊂0∧A@P &↓ P_↓`p_↓`p_↓`P(%β@@_α@`@_α@`@p%β `_↓@``_↓@``h&↓!P_@a_@aP('↓↓P(¬↓!P 'A↓P_εaP (↓↓@_εa@ (@e _)e_)@E⊂)@E⊂"Q∧"X↔εC!xβ→a&0α↓V0↓αF(↓B@%_↓∧ X↓T@1↓β%⊂↓D `↓∀ 1λ↓β%α∧ X↓S`A⊂↓α`$pα∧` Hα∪Q ↓↓`TP∪RDT`αE$pα∧`$xα∧@%α∧ %λ↓D %⊂↓D%⊂↓D%_↓∧&(↓→ &(↓→ $("λe2p
ε@`0'αI@(α↓ 0 ∧I0⊂¬i _¬@B⊂%A@⊂λi ⊂εB_%A@⊂λ@i _¬@B⊂ %@A0⊂ ↓ 0 ∧@B0 &↓ p⊂
↓)b8( +⊂
↓+⊂ A⊂ ↓⊂λA⊂λ@k⊂λk⊂λk⊂λK⊂,K⊂,HT ∩λ∧1h∩β e0∧∃ 0 ↓U00↓U @↓∃ @↓∃ @↓∃ @↓∃00↓U 0 ↓UA¬8β⊃`dP⊂∩D∧8β∩D∧P⊂⊃(B(⊂λd1pI ⊂%i0_&iP '↓*0)α
PX,D+⊃λ*Bj @(↓I`(&A @_%@i _%I ⊂#AI`Hλ@IP`π@I@(↓Aa@_%@a⊂0∧@i _ε↓`0(%Ap`%B⊂H"Q∧b⊃Gc@λ↓R`th∧∀!¬ ∧⊗↓¬X∧↔aε⊂βX@ux∧⊗a¬@∧∃↓¬λ∧∪!∧XβR`48β∪A⊃λ↓∪!@x↓∪P_βC4X↓B `H↓R@0`β@`TP↓βaDP↓∧!∀(" dα_⊗H@⊂_%AiP@(B
@@,α0@/B 81↓kp@-B@*α
⊂@&B 08%@hp0'α"⊂⊂&C↓p⊂&↓ 08εi0_∧AA⊂_%a@8↓A) ⊂πC ⊂λB(p0'α"⊂⊂&C↓p⊂&↓ 08εi0_∧AA⊂_%a@8↓A) ⊂πC ⊂λB(T ∀ε0x
↓ε`¬Z`@0↓Z` H↓Z@0P↓Z@ `↓~@ `↓∩D `↓∩D `↓~@ `↓~@ `↓~@0P↓Z` H↓Z`@0↓[↓6p∧⊃(BH⊂HC!@πA0,↓K0,↓K⊂ #CI0 A 0
AI 0
AI 0
AI 0
AI0 AλT ∃λ$!P A8α∩@a(β∩@a(β∩@a(β∩@a(β∩`A8α⊃aeHα⊗e@β⊗e@β⊗ D("
dα_⊂π↓` +AJp0+AJp0,↓λp %λ "#AI"%λλp ,↓
p0+AJp0+AK "Q¬B⊃I¬0x↓⊗E@α∃`e8↓@%0↓@@5(↓A5(↓↓@% ↓A@5 ↓α%_↓B5⊂↓B@5⊂↓β%λ↓C5λ↓β@%↓C@5↓∧$x∪bd8β∩D∧P⊂⊃`dP⊂∩D∧("$α_⊃GC`⊂4Lp_3lP_1A⊂(/↓K @*αi!λ%∧*@X-α`00A,0 2@l`_3@m⊂4Hp0'α"⊂⊂&C↓p⊂&↓ 08εi0_∧AA⊂_%a@8↓A) ⊂πC ⊂λB(T ↔λ∧1x∞π6⊂βWa¬X∧⊗↓¬ ∧∀!∧h∧∩`tXβS!¬λ∧∃↓¬@∧⊗a¬x∧_@v0↓Q`dp∧D $hεβ`$`α@`p`↓R`0Hβα 4P↓Cp_αR@ xε∩@!λ∧Q(Bx⊂λeR⊂∞l 8/B0@,α
@@(B P@%Ai08&B
⊂@*α@-Bp@1↓l`_#AI`Hλ@IP`π@I@(↓Aa@_%@a⊂0∧@i _ε↓`0(%Ap`%B⊂H#AI`Hλ@IP`π@I@(↓Aa@_%@a⊂0∧@i _ε↓`0(%Ap`%B⊂H"Qε↓p⊃ βaX↓X`VλαW`UhαV`U@β∃@e αT@Pp↓TPpαS@PpαSPpαR@PpαR@0pαV U0β∃e⊂αTTpαSTPαR@T`αS@UαT@U αU@e@β⊗`UhαW`VλαX`V(↓Q(Cλ∂λDApi (&↓)`((↓* (*↓J`0,A) _π↓) (π↓)@(π↓)`(π↓*(π↓* (πj@(+↓K0-A+P(/A,⊂(1A,0(0A+p(.A+0(,A*`0*↓J ((↓)`(&↓) (%hT →λ∧2 ⊃F &_↓_`&⊂↓X@&λ↓X5x↓W EXαB%HαB@%0ββ%λ∧C 4PεC`4P∧∧`6 ↓X`6λα↔`U`β⊗↓¬_¬∩AtPπTa%@∧↔exαX F_↓Y6(↓Y@68↓Z&@↓~$("dα_∩λ`P⊂'@Ip⊂'@j⊂(j⊂_)j0 %A(%A (%A@0%aPH%@aph&b0@&@i`_'A
()↓J@@+BK0x-CjpP*α
0(↓)p 'iP_&i0_%i ⊂%I ⊂"QεB⊃Iβ!p↓~&@↓→`60↓Y 6 ↓X`6λα↔`U`β⊗↓¬_¬∩AtPπTa%@∧↔exαX F_↓Y4P∧∧`4PεC`5λ∧C 50ββ%HαB@%XαB%hα↔`6↓X 6⊂↓_@6_↓_`&_↓⊃(C(∂λER_
@l0(0A+p(.A+0(,A*`0*↓J ((↓)`(&↓) (%↓)@('↓*()↓*@(+↓K0-A+P(/A,⊂(1A,P_#AI!p%πHp0%πI!p"Qεap⊃ βaX↓X`VλαW`UhαV`UHαU@e β∀@UαS@T`αR@TPαSTpαTU⊂αUU0β⊗dP↓C@TPαC@T`αC@TpαC@UαC@U⊂αC@5 αU@e@β⊗`UhαW`VλαX`V(↓Q(C8∂λDAp
@l⊂8/α @+B
0@(α @@%↓i 8&α
@)B
p@-α`@0AlP_#∩@4PβS↓¬∧∀a¬8∧⊗A¬p∧_ vλβWA¬P∧∃a¬_∧∀↓∧`∧∩@tP↓Q(C@¬αC⊃XA 0%↓I 0%↓I 0%↓I00%AI00&↓)@(&↓)P(&A)P('↓ ` '↓)p 'A p (j (↓
"Qπ" ∩HβAxα~f@β~f@β~ D8α∪∧∧`⊂⊃`d`⊂∪∧∧8α∩`DPβ∩@dPβ∩@dXα⊃(CX∩ $↓`A 0%↓I 0%↓I0 #A B&λλp0&λ B#A
⊂ 4↓M04↓M04AλT ≡λ∧2
$P↓∩@$P↓R`4`↓S 4p↓S`EαT@e ∧∃a%XπVau8¬∃↓¬⊂β∀Txα∪@4h↓S1_∧∩`0xεR@0h∧R@ `β∩@ PαR@ @αT`E⊂↓T 5↓T$x↓S`$x↓∪`$("∂#b⊂⊗H`_%↓)@('↓*()↓*@(+↓K0-A+P(/A,⊂(1A,0(0A+p(.A+0(,A*`0*↓J ((↓)`(&↓) (%hp0%πI!p#AI!p%πHT ∨πD" ∂4PαSTpαTU⊂αUU0β⊗eXαW UxαX V_αX`VλαW`UhαV`UHαU@e β∀@Pp↓TPpαS@PpαSPpαR@PpαR@0pαV U0β∃e⊂αTTpαSTPαR@4("∂cb⊂∩π@_%↓i@@(α
0@+B @/α⊂80Ak`@-α
p@)B
@&α 8%hf(↓X up∧⊗A¬8∧∀a¬∧∪↓∧PβR@t`∧∀↓¬_∧∃a¬P∧↔AελβY 4("⊂βb⊂
F@↓p%πI ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I!p%πHT GD!X
βdP∂→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓→@&0↓∩CdP∂⊃(D⊂∂λC1Pi (%↓i ⊂↓↓) ⊂α↓) ⊂β↓) ⊂∧↓) ⊂¬↓I ⊂ε↓I ⊂πA) ⊂λA) ⊂ A) ⊂
A) ⊂A) ⊂A) ⊂
A) ⊂ A) ⊂λA) ⊂πA) ⊂εA) ⊂¬↓I ⊂∧↓I ⊂β↓) ⊂α↓) ⊂↓↓) 8%↓) _"Qλ1p⊃εc!X↓X`VλβW`P⊂↓↔ P ↓⊗`P0↓⊗ P@↓∃@`P↓∃``↓∀@Px↓∀Qλ↓∪@Q_↓∪Q(↓∩@Q8↓∩@Q8↓∪Q(↓∪@Q_↓∀Qλ↓∀@Px↓∃Ph↓∃@`P↓⊗`@↓⊗`P0↓↔ P ↓↔`P⊂↓_ v_αY 4("⊃βb⊂∩π@_%↓) 8%@ (%@@(%@`(%A(%A 0%A@0%Ap(%B⊂(%B0(%BP(%Bp(%Bp(%BP(%B0(%B⊂(%Ap(%AP(%A 0%A0%@`(%@@(%@ (%↓i (%hp0%πI!p"QλQp⊃ βaX↓X`VλβW`P⊂↓↔ P ↓⊗`P0↓⊗ P@↓∃@`P↓∃``↓∀@Px↓∀Qλ↓∪@Q_↓∪Q(↓∩@Q8↓∩@Q8↓∪Q(↓∪@Q_↓∀Qλ↓∀@Px↓∃Ph↓∃@`P↓⊗`@↓⊗`P0↓↔ P ↓↔`P⊂↓_ v_αY 48β∩CdP∂⊃(D0∪
$2_ K@⊂-A0 -↓K 0-↓K⊂@,B⊂@,αKP+C "0% I2 &H ap'G
⊃@)¬J1 *D
A⊂*∧JA⊂)E
1 )E
1 )α @H)α`@)↓A 0(A!`((Aα (@B@⊂"Qλq_
DPλ↓B`4XαA`Thα↓ Dpα`EβT UλαTu↓@ 4xα Dpα`Dp↓A 4hα↓ Dh↓A`4`α↓`D`α↓`DXαα DXαα DXαα DXαα DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DXαα DXαα DXαα DXαα D`α↓`D`α↓`Dh↓A`4hα↓ Dp↓A 4pα`Dxα E↓@ 5βT UλαTtpα`Dhα↓ DXαA`TX↓B`4("∩∧α_
ε@α%λ 1p%GIA`&FIQP'ε a@'EJ↓ (¬
⊃⊂(DJ!)CJ0p*β
@`*BJPP+α
p0+AK ,↓⊂⊂"Q ⊃p⊃εc ↓R@TPβRA∀P¬RATPλ∩B$P
∩BdP∩C$P∞∩CdP∂∩CDP
∩C∧P∩BDP ∩B∧PεRA4P∧R@tPαR@4("∩Cb⊂
FC0_1A,⊂8/B+PX-C+↓+∧JA )¬J↓@'εIA`%πI!p&π aP(ε
!0*¬
a⊂,∧0h.BkpH0Al0(2@hT &H∧1P
β`%@α⊗E8β∃@0⊂↓U@ ↓∃ 0 ↓U 0↓∃00↓T`0@↓T` P↓∀@0P↓T@ `↓∀ 0`↓T0p↓T!↓∪`1↓S`!⊂↓∪@1⊂↓S@! ↓∪ 1 ↓S10↓S!@↓∩`1@↓R`!P↓∩D∧P⊂⊃(Dp⊂λc!Pπ@K ,↓
p0+α
`@*BJPP*β
0p)CJ!)∧
⊃⊂(¬
↓ 'EIq0'ε a@&FIA`&π 1p%GI"%λλT 'H∧1P
∧∧P⊂∩`!P↓∩`1@↓S10↓S !0↓∪ 1 ↓S@! ↓∪@1⊂↓S`1↓T!↓∀0p↓T p↓∀ 0`↓T@0P↓T` P↓∀`0@↓U @↓∃00↓U 0↓∃ 0 ↓U@0⊂↓U` ⊂↓∃`e@α⊗EH↓⊃(E⊂λa!λλ "+α
`⊂αJP_αjP_αj`⊂αJ`@+AI"%λλT (GD#P∀F`6⊂β↔`u`βV@e8β∃uλβS@tXβR@TPβS eβ∀@u(βVuXβW@vλβ→F0↓⊃`TP∂∩Cd8βR@DPβS uβT`u0βV u`β↔`fλβX`VβW uPβU`u(β∀@dxβStPβ∩@4("∀Cb⊂≥
_%↓I@8'Aj 0*AJp8-↓kP80↓l0(0Akp0.↓K⊂8+↓j08(↓iP8%AI %Hp(%πI!p#Al@ 0Ak`8-Ak8*Aj 8(↓IP0%↓i (%Ai`8(Aj@8+AK 0.↓kp81↓LP_"Q
1p⊃⊃¬aX↓X@fβ↔ ePβU`u βT@dxβ∪tPβ∩@d`β∪`eλβUu8βV@ehβ↔`v⊂β→ 48β∩CdP∂⊃`dP∂∩Cd8β∩@4Pβ∪txβT@e(β∃`uPβW vβX`VλβW`e`β⊗ u0βT`uβS tXβ∩@DP↓⊃(E ∂λHBpi 0&↓Ip0(Aj@8+Ak 0.AKp81↓L 00↓KP0-↓jp8*↓j 0'AI@8%↓I _#AI!p%πHp0%πI!p#ALP_1↓Kp8.↓k 0+AJ@8(Ai`8%Ai (%↓iP0(↓J 8*Ak8-Ak`80AL@ 3HT *I$Bλ⊂@αHε∩BHε∪A↓αTpx↓T pp↓∀@`h↓T@pX↓T`pP↓∃`H↓Up@↓∃ p0↓U@`(↓SCTp∞V`⊂↓⊗↓%H∧⊗@ePβ⊗`UXαSCTp∞V`UXαV`UXαV`UXαV`UXαV@u0πUAt("∃E2p∂Gβ@⊂3L`⊂3lp⊂3@i"%λ- 4@m⊂ 5↓
0(6↓-P0%
i"X6AM@(5A- 4A
⊂_4↓ "λ%λp_3@L`_3L`⊂3HT +Jeax∞β %8↓∃`%0↓U@%(↓U$¬ ⊂T`E_↓T@Eλα∪`TpαSdP∃RE4`β∪@TxαT E⊂α∀`5_α∃∧∃(⊂∃ 50↓∃@58↓∃`%8↓⊃(E@∞Hβa`A⊂0/AK`(.A+@(-A+ (-↓+⊂(,↓+ +A*p %Ap(%↓@` %↓`@ %↓`@ %↓`0 %A` %A` _%B⊂_&αI@P&B)P@'↓i`8'AIp0(↓λT ,HDA`
`!@↓∪ 10↓S@!0↓∪@1 ↓S`1⊂↓T1↓T !↓∀ 0p↓T@0`↓T`0X↓∃ P↓U0@↓U 00↓U@ 0↓∃@0 ↓U`0⊂↓VeHα⊗ EP↓⊃`dP⊃∩D$("⊗D" ∞ε@α⊂%λHp0-K⊂ ,A0+@` _+`@_+@`⊂*@``_*a_*A _)@a0⊂)a@_(@a`_(@B⊂(b_'@b _'b@_'B`⊂&@b`_&@C⊂"Q2⊃ICp⊂∩D∧8β∩D∧P⊂⊃`eH↓⊗ %@α∃`e0↓@@50↓↓%(↓A5 ↓A@5 ↓α%_↓B5⊂↓B@5λ↓C5λ↓β@%↓C@4x↓D4x↓∧@$p↓D@4h↓E4`↓E@4`↓ε$`↓ε$("↔β!h⊃λC⊂0@l⊂⊂0kp_/k`⊂.@k@_-@k0⊂-k⊂_,@K_+@j`_+JP_*j0_)@J _(@j⊂⊂(ip_'i`⊂&@i@_%@i0⊂%εI!P"QQP∞HD!@↓_ 6λ↓_5x↓W@5p↓↔ 5`↓V`5X↓⊗@5H↓V %@↓U`50↓U@%(↓U5_↓T`U⊂βT 0_↓∀ ↓T0(↓S`08↓∪@0@↓∪@ H↓∪ 0H↓S0X↓∩`0`↓∩` h↓∩C$P
⊃(Ep∂λC1P
@l0(0A+p(.A+0(,Aj`0↓j@0α@j (∧@J(¬@i`(πI@(λI ( I ( I@(λI`(πJ(¬@j (∧@J@(βj`0↓k@-A+P(/A,⊂(1A,P_"Qr_∪¬"p8∧β↓∧xεα↓$pα↓@@0α∪ 0P↓A4`↓C0⊂↓R`0pβ∩`!α∩@1α∩@!⊂↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩@!⊂↓∩@1α∩`!α∩`0pβ∪0`↓@@4h↓B@0 ↓S@@0α↓@Dxεα↓%λ∧β↓∧("_βrλ¬β`⊂
@I ⊂
@I _@i0_@i@_
@iP_ @i`_λ@ip εA
0βAJ x*B(T 0Gd⊂PπCu_εT `(β∪`PXαS@@xα∪ 1_↓S1(↓R`18↓R`!H↓∩@1H↓R@!X↓⊃(F⊂∂λC1H¬Dj!0(↓Ip 'iP_&a⊃&@q_%@`P8%@@P %`@_%@P⊂%@P⊂%@@_%@@_%@P⊂%@P⊂%`@_%@@P %@`Q(&@q_&a⊂⊂&@i`_'A
0)¬JQ_"Q1p⊃εc⊂ RBe`β↔`Fλ↓X@4Pλα 4P A`%@βA 5`α↓ %p↓A5x↓↓ %x↓↓ %x↓A%x↓A%x↓↓ %x↓↓ %p↓A5`α↓ $P
A 4P A`%@↓α 6⊂↓X 5xα↔dP∩B4("→β!h∞π⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αA ⊂αI ⊂αa_αI _αA⊂αi0⊂α``_αI0⊂α@`@_α@I0_αBP_&`P0α@iP⊂λIP ε↓ ` ¬↓
β↓
⊂`)BλT 2FCQ`∞α!¬λε∀@0α∪@@Pα∪ @`α∪ !↓∪0(β↓ 4X↓A!(↓R` (↓A0(↓∩` ↓A@0 ↓∩@0 ↓α ↓R@ ↓B0 ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓∩@ ↓α@ ↓⊃(F0
π#A`εJ`⊂+J`⊂+J`⊂+J`⊂*A
P *A
P *A
@0*@ ⊂*@ ⊂*@ ⊂)@` _)@@@⊂)`@_)@`⊂(@``_(@A⊂(a_'@a _'a@_&↓↓` %↓"(%b@_"QqP∞Gβ@↓E4PαDT`αβ@Dp↓C4x↓B@5↓B5λ↓α%λ↓A@5⊂↓↓@%⊂↓A5_↓↓%_↓@@5 ↓@% ↓@% ↓@% β∃ E(α∃ E(α∃ E0↓∃@%0↓∃@%0↓∃@%0↓∃@$("~βBλ
F ⊂%i0_&iP_'ip_(j⊂_)j0_*jP_+j` *AJ@_↓j0_αj _βj⊂_∧j_¬ip_εi`_πiP_λi@_ i0_
i _i ⊂HT 4G∧⊃XF@&_↓X@6λ↓X5x↓W@5h↓W5X↓V@5H↓V58↓U@E(β∃0⊂↓T`0 ↓T@00↓T 0@↓T0P↓S`0`↓S@0p↓S 1↓S1⊂↓R`1 ↓R@10↓R@!@↓⊃(FP∂λER_¬Dj!0(↓Ip 'iP_&i@⊂%@i0⊂%i ⊂%I ⊂%I ⊂%I _%@I0_&I@_&@i`_'A
0)¬JQ_#AI1h%G(p0%G)1h"Q
1p⊃$0 RBe`β↔`Fλ↓X@6_↓Y& ↓Y &(↓Y@&0↓→@&0↓→@&0↓→ 6(↓→6 ↓_`6⊂↓X 5xα↔dP∩B48β∩CTP∞Q`dP∞RCT("≠∧α_λ¬a@@*BJ@_βj0_∧j0⊂¬J0⊂¬I X¬αi X¬αhp0%λ ""Q
R⊃EBp`∧∃!% ↓A@5_↓B5_↓α@%_↓α@$P¬BA4P¬BA48β∩A0P¬RA0P¬T` P↓∀` P↓∀`0@↓U00↓U!%0∧⊃(Fp≤Pβ1P@A`⊂πKp ε↓↓@ .A!0(¬A+0(¬A!0(-↓↓@ ε↓ ε↓↓@ +↓!0(¬A*@(¬A!0()↓!0(¬A*⊂ ε↓↓@ 'A↓@ ε↓ P(¬A!0(%A!0(¬A) ε↓↓@ %↓↓@ ε↓ 0(¬A!0(&A!0(¬A)p ε↓↓@ (A↓@ ε↓
(¬A!0(*↓!0(¬A*`(¬A!0(,↓↓@ ε↓ ε↓↓@ -A!0(¬A+P(¬A!0(/A↓@ ε↓⊂⊂πA`⊂"Q
sH εc ↓β@ p↓∩@@`αβDXαB`PXαS PXαB`Txαβ@`α∀ @`αβE⊂αB`PXαUPXαB`U0αB`PXαV@`αβEPαβ@`α⊗`PXαB`UhαB`PXαW`@`αβExαβ@`α↔ PXαB`UXαB`PXαV@@`αβE@αβ@`α∃@PXαB`U αB`PXαT@PXαB`Uλαβ@`α∪`@`αβDhαB`PXαR`PXαB`TPαβ@`α∩@ p↓β@$("≤↓@pπλ@`%β ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂"Q∞⊂`πβD ε∩AE ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓⊃(G
π$2_εJ`⊂+J`⊂+J`⊂+J`⊂+J`⊂+J0@(C p(↓@ ('↓@⊂α↓ P_β@`_&`p⊂β@i0_∧A_%@A⊂⊂∧@I0⊂∧@A⊂⊂%a⊂⊂∧@i ⊂¬A ⊂%A ⊂¬I ⊂¬A ⊂%A ⊂¬I ⊂¬A ⊂%A ⊂¬I ⊂¬A ⊂%A ⊂¬I ⊂¬A ⊂%A ⊂¬I ⊂¬A ⊂%A ⊂¬I ⊂¬A ⊂%A ⊂¬I ⊂¬A ⊂"Q∞R⊃JD pα∃`e8β∃`e8β⊗D8α⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ $P⊂∩D¬H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊃(G0⊂λa⊃λB08%B⊂P%B`%aP βA _ε↓↓⊂_%@a⊂ εi0 βA↓P_&βα⊂&BB⊂⊂'↓b0⊂"Q∞r⊃Cb@↓∧!∀P↓βaDP↓Cp_αR`0Hβα 4`α@`p`↓S!@x↓∪A⊃λ↓⊃`dP⊂∩D∧("≡↓@pεC⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I `%βλT <C↓`hεα@% ↓∃% ↓∃% ↓∃% ↓∃% ↓∃% ↓∩ADPε⊃(GP⊂λd↓`∧∧
!*β
PP+α
p0+AK %A@ εI ⊂ε↓↓@⊂%a0 ¬@i ¬@A0 %↓! ⊂¬↓) 8∧A8%α`@⊂ααi"%λ Xα@@X%αp⊂βB 0∧@A⊂0%↓↓0⊂¬A _¬A↓0_%A@ εI ⊂ε↓↓@⊂%A@ εJp0+AJp0+α
PP*β
!)∧λT =D"2h∃A th¬S↓TXπRatPβ@`tPβ↓ dPαA`TPαA`TPαA`TPαA`TPαA`TPαA`TPαA`TPαB4PαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαB4PαA`TPαA`TPαA`TPαA`TPαA`TPαA`TPαA`TPβ↓ dPβ@`tXπRat`εS!4xβQ(G` ¬$⊃(∧I!⊂%∧I!⊂%∧J⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂((A*⊂("Q∂R⊃Gc@`∧∀aeλβ↓@eαβDx↓D4p↓D@4h↓E4`↓E@4`↓ε$X↓F4X↓ε@$X↓α`@X↓∩@0H∧α 4P↓α@0⊂↓B@$P↓α 0 ↓B $P↓α 0↓α $P↓α 0↓α $P↓α 0 ↓B $P↓α@0⊂↓B@$P↓B!H↓R` Xαα`$X↓ε@$X↓F4`↓ε$`↓E@4h↓E4p↓D@4x↓D5αβEλβ↓@e_π∃A∧("∨Dα_∂G↓@@)CJ⊂0β↓J ε↓ p_λi`_ iP_
i@_¬a⊂_&A0_¬I0_¬@a _%@A@⊂εI0⊂α`P⊂α@`@⊂%`@ α@@ αi ⊂αA@ ⊂↓↓@P⊂%A @@⊂ ∧I ⊂¬AA0⊂%A00¬@I ⊂∧↓⊂⊂A↓⊂%@P0↓@ 0α@I _α↓@⊂α↓@_%@@@_α@@P_αI0⊂εA@⊂%@a0_¬i@⊂¬@a ⊂&a _∧@iP_
i`_ ip_λj ε↓
⊂0β↓J0p+αλT ?H∧1x∞β↓¬_π∀ `0β∀@`α∪`1↓S@1⊂↓S 1 ↓S10↓S!@↓∩`1@↓R`!P↓∩`!P↓∩@1P↓R@!`↓∩@!`↓∩@ 0λ↓@$P↓↓B0↓∩@!`↓∩@!`↓∩@1P↓R`!P↓∩`!P↓∩`1@↓S!@↓∪10↓S 1 ↓S@1⊂↓S`1↓T@`α∀ `0β∀ae0∧⊃(G⊂∃KE2⊂λB*qλ*A`p8*↓↓p )↓α0 (AαP (c⊂_'@c0_'cP_'Cp⊂&@cp_&a0 @i@⊂∧C↓`⊂&A hεI0_¬@`P(¬@i0⊂ε`p ¬@I0⊂ε`p(¬I _εa ¬i ⊂ε@a ¬@I ⊂ε@a ¬@I ⊂ε@a_εI ⊂ε@`p_ε@I ⊂εA` _πI ⊂εBB⊂%AP_α@ap⊂%AP_βa`⊂%a@_β@a@_%@A@_β@a@⊂%@A@_βA↓0⊂%@a0_βA↓ _&A0_βA↓ ⊂&A0_βA↓ ⊂&a _βA↓⊂_&@`p8β↓`@_'@p8∧↓ @⊂'b`_αip_
@j_@j⊂
A
A
@ πA
P8βAjqλ-B(T 9JebX⊃∧!∃8λU p8βU@xα∀@A_α∀ A(α∀1H↓S`1X↓S@1h↓S@ `α↓`⊂8↓∪ 0P∧A⊂8↓S0Pβ Pλ↓α4`↓α`08αB $`↓α@0P↓B $X↓B@ `↓α 4X↓α` `↓α@$X↓α` hB@$P↓B`0`B@4P↓β0`B`$P↓βQ0↓∩@ hβD`$P↓βA x↓∩@!¬β $P↓∧a`↓∩@!8αB`$P↓β0Pαα@$P↓B`⊂h↓B 4X↓α`⊂h↓B $X↓α`⊂p↓α $X↓B@ `↓B4`↓α@ `↓B$`↓α@0P↓B $`↓B P0αB4h↓B⊂⊂εα4p↓α⊂ ∧B $p↓C@PP↓S`1X↓T1H↓T A(α∀@A_α∃@xα∃ p8βUb∃X∧Q?$`P↓(BX3`α>gα>g∂x␈␈␈pλ∨x␈␈⎇ ¬o0
`qc@λ}`λ∀↓N_G]=@"@β≤8p↔X{eε8q`MO0α
`qc@↓=}`(πGλc@_"=@bλαU*X5h{↓d⊂¬*U0↓↓∂0∧ ``8q`α~>`H∪@↓Gλc@ }=A#⊂∧Xx{αf λ↓8∂0ε
`qc@α|>`h∪@↓Gλc@0<=AbxβcG⊂pX{βc`∧qc@↓|O0λ@↓∧>aλ→α@>=B#⊂∧↓8{∧f λα"O0
p≤9∧X>a(⊗↓c@rP~=BaHα↓08{¬c⊂∧αmo0ε @¬u>aH@↓`≡=C#8∧8q`↓J_{εfpλqc@β≥o0∞@↓εN>ah→αhD=CaHα↓]8{πc⊂∧βGo0⊂@↓π)>bλ"@αc@rp}=D#⊂∧↓xh{λf λ∧∂0∩ ``8q`λ≤}b(∪@↓Gλc@↓W=Db8β∞≤8α⊂({ dpε≤8p∧*O0∀
`↓λcGλq}bH∩↓8p≤@↓⊂β=E" αqcHα#_{
dpε≤8p∧L∂0⊗ ``8q` #>bh∪@↓Gλc@↓⊂p=Eb8β∞≤8α38{dpε≤8p∧po0_ ``8q` }>cλ∪@↓Gλc@↓ +=F"8β∞≤8αK_{dpε≤8p¬"∂0~ ``8q`
[>c(∪@↓Gλc@↓(e=Fb8β∞≤8αa({
dpε≤8p¬N/0≤β ≤90↑cP∪@↓Gλc@↓0}⎇G28β∞≤8αrP{∂∧pε≤8p¬j␈0≡I``8q`m≡cp∪@↓Gλc@↓8␈⎇Gr8β∞≤8β¬`{⊂∧pε≤8pε∃O0 I``8q`:}d⊂∪@↓Gλc@↓H∃=H28β∞≤8β→({⊃∧pε≤8pε@∂0"I``8q`
≤>d0⊗↓c@r↓Pq=Hq0↓cG⊂β3h{∩∧pε≤8pπ∂0$I``8q`∞∂>dP∪@↓Gλc@↓`>=IR8β∞≤8βKX{∪Dpε≤8pπ$/0'I``8q`∞W}e∪@↓Gλc@↓hc=J∩8β∞≤8β↑X{∀Dpε≤8pπJ∂0)I``8q`∂->e ∪@↓Gλc@↓x⊃=JR αqcHβxx{∃F λπ}O0+L@↓⊂∞}e@∩↓8p≤@αA=K∩8β∞≤8∧
8{⊗Dpε≤8pλ%O0-I``8q`⊂`>e`⊂@↓*PU@αλp=KRλαU*X∧"h{↔Dpε≤8pλQo0/J@h*U ⊃:>f∩↓8p≤@α_*=L∩ αqcH∧8_{_Dpε≤8pλv/01I``8q`∩∧>f ⊂@↓*PU@α 8=LRλαU*X∧Sx{→D⊂¬*U0 Ao03H PU*`∪≠>f@∪@↓Gλc@α0f=M∩8β∞≤8∧r_{~Dpε≤8p o/05I``8q`∪q>f`∪@↓Gλc@α@λ=MR8β∞≤8¬βH{≠IG∞
∂/07R↓8∞≤@∀J>gλ@U(*@αHl=N⊃λ↓*U(¬∨h{≥∧⊂¬*U0
D/0:I``8q`∃3>g0∪@↓Gλc@αX⊃=Nr8β∞≤8¬5H{≡α⊂αU*P
q∂0<D (*U ∃j}gP∪@↓Gλc@αXg=O10↓cG⊂¬E_{∨β⊂∧≠o0>I``8q`⊗J>gp∪@↓Gλc@αhd=Or8β∞≤8¬hX{≤F λao09L@↓_¬␈⊂$h_ow{⎇x